Integrand size = 22, antiderivative size = 581 \[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=\frac {6 a (19 A b-10 a B) x^2 \sqrt {a+b x^3}}{1729 b^2}+\frac {2 (19 A b-10 a B) x^5 \sqrt {a+b x^3}}{247 b}-\frac {24 a^2 (19 A b-10 a B) \sqrt {a+b x^3}}{1729 b^{8/3} \left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}+\frac {12 \sqrt [4]{3} \sqrt {2-\sqrt {3}} a^{7/3} (19 A b-10 a B) \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt {\frac {a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} E\left (\arcsin \left (\frac {\left (1-\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x}{\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x}\right )|-7-4 \sqrt {3}\right )}{1729 b^{8/3} \sqrt {\frac {\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt {a+b x^3}}-\frac {8 \sqrt {2} 3^{3/4} a^{7/3} (19 A b-10 a B) \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt {\frac {a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \operatorname {EllipticF}\left (\arcsin \left (\frac {\left (1-\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x}{\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x}\right ),-7-4 \sqrt {3}\right )}{1729 b^{8/3} \sqrt {\frac {\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt {a+b x^3}} \]
2/19*B*x^5*(b*x^3+a)^(3/2)/b+6/1729*a*(19*A*b-10*B*a)*x^2*(b*x^3+a)^(1/2)/ b^2+2/247*(19*A*b-10*B*a)*x^5*(b*x^3+a)^(1/2)/b-24/1729*a^2*(19*A*b-10*B*a )*(b*x^3+a)^(1/2)/b^(8/3)/(b^(1/3)*x+a^(1/3)*(1+3^(1/2)))-8/1729*3^(3/4)*a ^(7/3)*(19*A*b-10*B*a)*(a^(1/3)+b^(1/3)*x)*EllipticF((b^(1/3)*x+a^(1/3)*(1 -3^(1/2)))/(b^(1/3)*x+a^(1/3)*(1+3^(1/2))),I*3^(1/2)+2*I)*2^(1/2)*((a^(2/3 )-a^(1/3)*b^(1/3)*x+b^(2/3)*x^2)/(b^(1/3)*x+a^(1/3)*(1+3^(1/2)))^2)^(1/2)/ b^(8/3)/(b*x^3+a)^(1/2)/(a^(1/3)*(a^(1/3)+b^(1/3)*x)/(b^(1/3)*x+a^(1/3)*(1 +3^(1/2)))^2)^(1/2)+12/1729*3^(1/4)*a^(7/3)*(19*A*b-10*B*a)*(a^(1/3)+b^(1/ 3)*x)*EllipticE((b^(1/3)*x+a^(1/3)*(1-3^(1/2)))/(b^(1/3)*x+a^(1/3)*(1+3^(1 /2))),I*3^(1/2)+2*I)*(1/2*6^(1/2)-1/2*2^(1/2))*((a^(2/3)-a^(1/3)*b^(1/3)*x +b^(2/3)*x^2)/(b^(1/3)*x+a^(1/3)*(1+3^(1/2)))^2)^(1/2)/b^(8/3)/(b*x^3+a)^( 1/2)/(a^(1/3)*(a^(1/3)+b^(1/3)*x)/(b^(1/3)*x+a^(1/3)*(1+3^(1/2)))^2)^(1/2)
Result contains higher order function than in optimal. Order 5 vs. order 4 in optimal.
Time = 5.82 (sec) , antiderivative size = 91, normalized size of antiderivative = 0.16 \[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=\frac {2 x^2 \sqrt {a+b x^3} \left (-\left (\left (a+b x^3\right ) \left (-19 A b+10 a B-13 b B x^3\right )\right )+\frac {a (-19 A b+10 a B) \operatorname {Hypergeometric2F1}\left (-\frac {1}{2},\frac {2}{3},\frac {5}{3},-\frac {b x^3}{a}\right )}{\sqrt {1+\frac {b x^3}{a}}}\right )}{247 b^2} \]
(2*x^2*Sqrt[a + b*x^3]*(-((a + b*x^3)*(-19*A*b + 10*a*B - 13*b*B*x^3)) + ( a*(-19*A*b + 10*a*B)*Hypergeometric2F1[-1/2, 2/3, 5/3, -((b*x^3)/a)])/Sqrt [1 + (b*x^3)/a]))/(247*b^2)
Time = 0.57 (sec) , antiderivative size = 577, normalized size of antiderivative = 0.99, number of steps used = 6, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {959, 811, 843, 832, 759, 2416}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
| \(\displaystyle \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx\) |
| \(\Big \downarrow \) 959 |
| \(\displaystyle \frac {(19 A b-10 a B) \int x^4 \sqrt {b x^3+a}dx}{19 b}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}\) |
| \(\Big \downarrow \) 811 |
| \(\displaystyle \frac {(19 A b-10 a B) \left (\frac {3}{13} a \int \frac {x^4}{\sqrt {b x^3+a}}dx+\frac {2}{13} x^5 \sqrt {a+b x^3}\right )}{19 b}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}\) |
| \(\Big \downarrow \) 843 |
| \(\displaystyle \frac {(19 A b-10 a B) \left (\frac {3}{13} a \left (\frac {2 x^2 \sqrt {a+b x^3}}{7 b}-\frac {4 a \int \frac {x}{\sqrt {b x^3+a}}dx}{7 b}\right )+\frac {2}{13} x^5 \sqrt {a+b x^3}\right )}{19 b}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}\) |
| \(\Big \downarrow \) 832 |
| \(\displaystyle \frac {(19 A b-10 a B) \left (\frac {3}{13} a \left (\frac {2 x^2 \sqrt {a+b x^3}}{7 b}-\frac {4 a \left (\frac {\int \frac {\sqrt [3]{b} x+\left (1-\sqrt {3}\right ) \sqrt [3]{a}}{\sqrt {b x^3+a}}dx}{\sqrt [3]{b}}-\frac {\left (1-\sqrt {3}\right ) \sqrt [3]{a} \int \frac {1}{\sqrt {b x^3+a}}dx}{\sqrt [3]{b}}\right )}{7 b}\right )+\frac {2}{13} x^5 \sqrt {a+b x^3}\right )}{19 b}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}\) |
| \(\Big \downarrow \) 759 |
| \(\displaystyle \frac {(19 A b-10 a B) \left (\frac {3}{13} a \left (\frac {2 x^2 \sqrt {a+b x^3}}{7 b}-\frac {4 a \left (\frac {\int \frac {\sqrt [3]{b} x+\left (1-\sqrt {3}\right ) \sqrt [3]{a}}{\sqrt {b x^3+a}}dx}{\sqrt [3]{b}}-\frac {2 \left (1-\sqrt {3}\right ) \sqrt {2+\sqrt {3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt {\frac {a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [3]{b} x+\left (1-\sqrt {3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt {3}\right ) \sqrt [3]{a}}\right ),-7-4 \sqrt {3}\right )}{\sqrt [4]{3} b^{2/3} \sqrt {\frac {\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt {a+b x^3}}\right )}{7 b}\right )+\frac {2}{13} x^5 \sqrt {a+b x^3}\right )}{19 b}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}\) |
| \(\Big \downarrow \) 2416 |
| \(\displaystyle \frac {(19 A b-10 a B) \left (\frac {3}{13} a \left (\frac {2 x^2 \sqrt {a+b x^3}}{7 b}-\frac {4 a \left (\frac {\frac {2 \sqrt {a+b x^3}}{\sqrt [3]{b} \left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}-\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt {\frac {a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} E\left (\arcsin \left (\frac {\sqrt [3]{b} x+\left (1-\sqrt {3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt {3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt {3}\right )}{\sqrt [3]{b} \sqrt {\frac {\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt {a+b x^3}}}{\sqrt [3]{b}}-\frac {2 \left (1-\sqrt {3}\right ) \sqrt {2+\sqrt {3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt {\frac {a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt [3]{b} x+\left (1-\sqrt {3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt {3}\right ) \sqrt [3]{a}}\right ),-7-4 \sqrt {3}\right )}{\sqrt [4]{3} b^{2/3} \sqrt {\frac {\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt {3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt {a+b x^3}}\right )}{7 b}\right )+\frac {2}{13} x^5 \sqrt {a+b x^3}\right )}{19 b}+\frac {2 B x^5 \left (a+b x^3\right )^{3/2}}{19 b}\) |
(2*B*x^5*(a + b*x^3)^(3/2))/(19*b) + ((19*A*b - 10*a*B)*((2*x^5*Sqrt[a + b *x^3])/13 + (3*a*((2*x^2*Sqrt[a + b*x^3])/(7*b) - (4*a*(((2*Sqrt[a + b*x^3 ])/(b^(1/3)*((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)) - (3^(1/4)*Sqrt[2 - Sqrt[ 3]]*a^(1/3)*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3)*x + b^(2 /3)*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticE[ArcSin[((1 - Sqr t[3])*a^(1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sq rt[3]])/(b^(1/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/ 3) + b^(1/3)*x)^2]*Sqrt[a + b*x^3]))/b^(1/3) - (2*(1 - Sqrt[3])*Sqrt[2 + S qrt[3]]*a^(1/3)*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticF[ArcSin[((1 - Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt[3]])/(3^(1/4)*b^(2/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sq rt[3])*a^(1/3) + b^(1/3)*x)^2]*Sqrt[a + b*x^3])))/(7*b)))/13))/(19*b)
3.2.90.3.1 Defintions of rubi rules used
Int[1/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Rt[b/a, 3]], s = Denom[Rt[b/a, 3]]}, Simp[2*Sqrt[2 + Sqrt[3]]*(s + r*x)*(Sqrt[(s^2 - r*s *x + r^2*x^2)/((1 + Sqrt[3])*s + r*x)^2]/(3^(1/4)*r*Sqrt[a + b*x^3]*Sqrt[s* ((s + r*x)/((1 + Sqrt[3])*s + r*x)^2)]))*EllipticF[ArcSin[((1 - Sqrt[3])*s + r*x)/((1 + Sqrt[3])*s + r*x)], -7 - 4*Sqrt[3]], x]] /; FreeQ[{a, b}, x] & & PosQ[a]
Int[((c_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(c* x)^(m + 1)*((a + b*x^n)^p/(c*(m + n*p + 1))), x] + Simp[a*n*(p/(m + n*p + 1 )) Int[(c*x)^m*(a + b*x^n)^(p - 1), x], x] /; FreeQ[{a, b, c, m}, x] && I GtQ[n, 0] && GtQ[p, 0] && NeQ[m + n*p + 1, 0] && IntBinomialQ[a, b, c, n, m , p, x]
Int[(x_)/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Rt[b/a, 3] ], s = Denom[Rt[b/a, 3]]}, Simp[(-(1 - Sqrt[3]))*(s/r) Int[1/Sqrt[a + b*x ^3], x], x] + Simp[1/r Int[((1 - Sqrt[3])*s + r*x)/Sqrt[a + b*x^3], x], x ]] /; FreeQ[{a, b}, x] && PosQ[a]
Int[((c_.)*(x_))^(m_)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[c^(n - 1)*(c*x)^(m - n + 1)*((a + b*x^n)^(p + 1)/(b*(m + n*p + 1))), x] - Simp[ a*c^n*((m - n + 1)/(b*(m + n*p + 1))) Int[(c*x)^(m - n)*(a + b*x^n)^p, x] , x] /; FreeQ[{a, b, c, p}, x] && IGtQ[n, 0] && GtQ[m, n - 1] && NeQ[m + n* p + 1, 0] && IntBinomialQ[a, b, c, n, m, p, x]
Int[((e_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n _)), x_Symbol] :> Simp[d*(e*x)^(m + 1)*((a + b*x^n)^(p + 1)/(b*e*(m + n*(p + 1) + 1))), x] - Simp[(a*d*(m + 1) - b*c*(m + n*(p + 1) + 1))/(b*(m + n*(p + 1) + 1)) Int[(e*x)^m*(a + b*x^n)^p, x], x] /; FreeQ[{a, b, c, d, e, m, n, p}, x] && NeQ[b*c - a*d, 0] && NeQ[m + n*(p + 1) + 1, 0]
Int[((c_) + (d_.)*(x_))/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = N umer[Simplify[(1 - Sqrt[3])*(d/c)]], s = Denom[Simplify[(1 - Sqrt[3])*(d/c) ]]}, Simp[2*d*s^3*(Sqrt[a + b*x^3]/(a*r^2*((1 + Sqrt[3])*s + r*x))), x] - S imp[3^(1/4)*Sqrt[2 - Sqrt[3]]*d*s*(s + r*x)*(Sqrt[(s^2 - r*s*x + r^2*x^2)/( (1 + Sqrt[3])*s + r*x)^2]/(r^2*Sqrt[a + b*x^3]*Sqrt[s*((s + r*x)/((1 + Sqrt [3])*s + r*x)^2)]))*EllipticE[ArcSin[((1 - Sqrt[3])*s + r*x)/((1 + Sqrt[3]) *s + r*x)], -7 - 4*Sqrt[3]], x]] /; FreeQ[{a, b, c, d}, x] && PosQ[a] && Eq Q[b*c^3 - 2*(5 - 3*Sqrt[3])*a*d^3, 0]
Time = 4.64 (sec) , antiderivative size = 503, normalized size of antiderivative = 0.87
| method | result | size |
| risch | \(\frac {2 x^{2} \left (91 b^{2} B \,x^{6}+133 A \,b^{2} x^{3}+21 B a b \,x^{3}+57 a b A -30 a^{2} B \right ) \sqrt {b \,x^{3}+a}}{1729 b^{2}}+\frac {8 i a^{2} \left (19 A b -10 B a \right ) \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}} \sqrt {\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}-\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}\, \sqrt {\frac {x -\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{b}}{-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}}}\, \sqrt {-\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}\, \left (\left (-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) E\left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}-\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}}{3}, \sqrt {\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{b \left (-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right )}}\right )+\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}} F\left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}-\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}}{3}, \sqrt {\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{b \left (-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right )}}\right )}{b}\right )}{1729 b^{3} \sqrt {b \,x^{3}+a}}\) | \(503\) |
| elliptic | \(\frac {2 B \,x^{8} \sqrt {b \,x^{3}+a}}{19}+\frac {2 \left (A b +\frac {3 B a}{19}\right ) x^{5} \sqrt {b \,x^{3}+a}}{13 b}+\frac {2 \left (A a -\frac {10 a \left (A b +\frac {3 B a}{19}\right )}{13 b}\right ) x^{2} \sqrt {b \,x^{3}+a}}{7 b}+\frac {8 i a \left (A a -\frac {10 a \left (A b +\frac {3 B a}{19}\right )}{13 b}\right ) \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}} \sqrt {\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}-\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}\, \sqrt {\frac {x -\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{b}}{-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}}}\, \sqrt {-\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}\, \left (\left (-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) E\left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}-\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}}{3}, \sqrt {\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{b \left (-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right )}}\right )+\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}} F\left (\frac {\sqrt {3}\, \sqrt {\frac {i \left (x +\frac {\left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}-\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right ) \sqrt {3}\, b}{\left (-a \,b^{2}\right )^{\frac {1}{3}}}}}{3}, \sqrt {\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{b \left (-\frac {3 \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}+\frac {i \sqrt {3}\, \left (-a \,b^{2}\right )^{\frac {1}{3}}}{2 b}\right )}}\right )}{b}\right )}{21 b^{2} \sqrt {b \,x^{3}+a}}\) | \(530\) |
| default | \(\text {Expression too large to display}\) | \(966\) |
2/1729*x^2*(91*B*b^2*x^6+133*A*b^2*x^3+21*B*a*b*x^3+57*A*a*b-30*B*a^2)/b^2 *(b*x^3+a)^(1/2)+8/1729*I*a^2*(19*A*b-10*B*a)/b^3*3^(1/2)*(-a*b^2)^(1/3)*( I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^ 2)^(1/3))^(1/2)*((x-1/b*(-a*b^2)^(1/3))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/ 2)/b*(-a*b^2)^(1/3)))^(1/2)*(-I*(x+1/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(- a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)/(b*x^3+a)^(1/2)*((-3/2/b*(-a *b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*EllipticE(1/3*3^(1/2)*(I*(x+1/ 2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3 ))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/ b*(-a*b^2)^(1/3)))^(1/2))+1/b*(-a*b^2)^(1/3)*EllipticF(1/3*3^(1/2)*(I*(x+1 /2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/ 3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2) /b*(-a*b^2)^(1/3)))^(1/2)))
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 0.08 (sec) , antiderivative size = 102, normalized size of antiderivative = 0.18 \[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=-\frac {2 \, {\left (12 \, {\left (10 \, B a^{3} - 19 \, A a^{2} b\right )} \sqrt {b} {\rm weierstrassZeta}\left (0, -\frac {4 \, a}{b}, {\rm weierstrassPInverse}\left (0, -\frac {4 \, a}{b}, x\right )\right ) - {\left (91 \, B b^{3} x^{8} + 7 \, {\left (3 \, B a b^{2} + 19 \, A b^{3}\right )} x^{5} - 3 \, {\left (10 \, B a^{2} b - 19 \, A a b^{2}\right )} x^{2}\right )} \sqrt {b x^{3} + a}\right )}}{1729 \, b^{3}} \]
-2/1729*(12*(10*B*a^3 - 19*A*a^2*b)*sqrt(b)*weierstrassZeta(0, -4*a/b, wei erstrassPInverse(0, -4*a/b, x)) - (91*B*b^3*x^8 + 7*(3*B*a*b^2 + 19*A*b^3) *x^5 - 3*(10*B*a^2*b - 19*A*a*b^2)*x^2)*sqrt(b*x^3 + a))/b^3
Time = 1.18 (sec) , antiderivative size = 83, normalized size of antiderivative = 0.14 \[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=\frac {A \sqrt {a} x^{5} \Gamma \left (\frac {5}{3}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {5}{3} \\ \frac {8}{3} \end {matrix}\middle | {\frac {b x^{3} e^{i \pi }}{a}} \right )}}{3 \Gamma \left (\frac {8}{3}\right )} + \frac {B \sqrt {a} x^{8} \Gamma \left (\frac {8}{3}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {8}{3} \\ \frac {11}{3} \end {matrix}\middle | {\frac {b x^{3} e^{i \pi }}{a}} \right )}}{3 \Gamma \left (\frac {11}{3}\right )} \]
A*sqrt(a)*x**5*gamma(5/3)*hyper((-1/2, 5/3), (8/3,), b*x**3*exp_polar(I*pi )/a)/(3*gamma(8/3)) + B*sqrt(a)*x**8*gamma(8/3)*hyper((-1/2, 8/3), (11/3,) , b*x**3*exp_polar(I*pi)/a)/(3*gamma(11/3))
\[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=\int { {\left (B x^{3} + A\right )} \sqrt {b x^{3} + a} x^{4} \,d x } \]
\[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=\int { {\left (B x^{3} + A\right )} \sqrt {b x^{3} + a} x^{4} \,d x } \]
Timed out. \[ \int x^4 \sqrt {a+b x^3} \left (A+B x^3\right ) \, dx=\int x^4\,\left (B\,x^3+A\right )\,\sqrt {b\,x^3+a} \,d x \]